Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
21	Hybrid Languages∗ Patrick Blackburn† and Jerry Seligman‡ Abstract Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper Add to Reading List Source URL: www.patrickblackburn.org Language: English - Date: 2015-02-15 03:04:56
22	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
23	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
24	Kripke semantics for modal bilattice logic Achim Jung Umberto Rivieccio School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-26 05:15:29
25	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
26	When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:40 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
27	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
28	When is Na¨ıve Evaluation Possible? Amelie ´ Gheerbrant Leonid Libkin Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2013-04-16 03:57:08 Model theory Database theory Conjunctive query Modal logic Null Structure Kripke semantics FO Closed world assumption Logic Mathematics Mathematical logic
29	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic